idempotent semigroup

幂等半群